7.23/7.30	unsat
