codechef Dec13