p: proved (15)
8949 of 12877 Book 69% ~1 min left