Selling EOS at $ 20 is a smart decision. I did it when it was at $ 20 when I bought them at $ 4.2. I had a huge profit margin.
EOS is really a potential altcoin and its peak price is $ 20. That's a price above its actual price, investors did not realize it and greed made them fail.