0.49/1.20	unsat
