29.32/55.80	unsat
