29.23/29.32	unsat
