6.28/7.11	unsat
