I want to know the answer to the following question:
How large was the fleet that attacked the Bithynian coast along with the Pecheneg allies?
All the background I'm provided with is that "A navy of 10,000 vessels, including Pecheneg allies, landed on the Bithynian coast and devastated the Asiatic shore of the Bosphorus.". Is that enough to answer the question?