0.28/0.63	unsat
