29.44/32.38	unsat
