0.60/0.63	unsat
