2.39/2.49	unsat
