0.49/1.24	unsat
