6.28/7.30	unsat
