31.93/32.05	unsat
