32.42/34.16	unsat
