Basic GSAT version corresponding to Christoph's original code.
Restarts after 100 plateaus.

#define _CNF_ 0
#define _BFS_ 0
#define _FOCUS_ 0
#define _RESTARTS_ 1
#define _TIMELIMIT_ 300
#define _SCORE_AND_AVG_ 0
#define _SCORE_OR_MUL_ 0