<human>: Can you succinctly summarize the text in 1-3 sentences?

Alright, so I just found out that the girl [17/F] that I like likes another guy from another school. I really know nothing about him, how much she likes him, or if he likes her back. Our friend just brought him up. So my question is, is it worth putting out the effort to try and get her to like me? Or just kind of let her do her own thing, and move on to the next one? If I had any sort of certainty about the existence of her feelings for this other guy, I pretty much would have moved on by now. But I'm not sure if I have a chance or not.
<bot>: Is it worth chasing a girl that potentially likes someone else, or should I just try to  put that effort somewhere else?