34.42/36.16	unsat
