31.96/32.05	unsat
