31.62/32.66	unsat
