31.93/32.09	unsat
