Jobs cuts are usually bullish for a company. So I would have gone with a bull put spread.
CAT at $64.98
Sell May 2016 55.00 Put at $2.94
Buy May 2016 50.00 Put at $1.90
Credit $1.04
EDIT: Having both spread positions open simultaneously could also be considered.
:)