32.75/34.46	unsat
