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