6.28/8.23	unsat
