6.28/7.20	unsat
