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