$SOL そうではないことを証明できるまではこれです
2.9K