1.49/2.49	unsat
