7.23/7.35	unsat
