For me it depends who's the BB. If the small stack is the BB, I push. If not, I think I'd raise to about 90k. If the short stack pushes & the big stack folds, I'd call. If the short stack pushes & the big stack calls, you're priced in, but I might find the fold button if there's a big prize difference between 2nd & 3rd place.

Whether this is optimal, or not, I don't know.