1.49/4.88	unsat
