31.33/32.76	unsat
