2.49/3.11	unsat
