32.93/34.00	unsat
