29.25/29.32	unsat
