31.33/32.20	unsat
