31.58/32.29	unsat
