hypothesis generator for 3SAT