31.42/32.69	unsat
