0.52/0.65	unsat
