2.49/4.08	unsat
