12542 solved