2.49/3.78	unsat
