34.42/36.18	unsat
