0.57/0.63	unsat
