3.59/3.65	unsat
