0.52/0.63	unsat
