atcoder icpc2013summer day3 D