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 $50 at closing, and 1.19048 shares of ABC if ABC's average stock price is above $63 at closing. If ABC's average stock price at closing is $56, how many shares of ABC stock will one share of DEF receive?