7.26/7.35	unsat
