7.29/7.34	unsat
