2.40/2.49	unsat
