6.49/9.20	unsat
