7.27/7.31	unsat
