31.92/32.44	unsat
