7.26/7.29	unsat
