31.29/32.09	unsat
