1.49/4.11	unsat
