1.49/2.08	unsat
