6.28/7.10	unsat
