6.28/9.02	unsat
