Added KCARRY's problem statement