2.49/3.71	unsat
