31.64/32.25	unsat
