2.49/5.11	unsat
