29.00/29.10	unsat
