1.49/5.20	unsat
