31.92/32.66	unsat
