7.29/7.32	unsat
