No, he can have ATC ON THE FLOP
He cannot have ATC after the flop bet and call
His range on the turn does not include 87

You are seriously too smart to argue that fact regardless of the fact that he may have had it.