29.00/32.10	unsat
