ABC is acquiring DEF in an all stock deal. The deal is subject to a collar such that DEF shareholders will receive 1.5 shares of ABC if ABC's average stock price is below $43 at closing, and 1.19444 shares of ABC if ABC's average stock price is above $54 at closing. If ABC's average stock price at closing is $50, how many shares of ABC stock will one share of DEF receive