0.88/1.24	unsat
