12577 solved