1.49/2.24	unsat
