0.59/0.65	unsat
