with 3SAT-L3
more structure in Heuristics
with 3SAT-M4