31.92/32.17	unsat
