7.23/7.31	unsat
