2.49/4.44	unsat
