32.31/34.76	unsat
