atcoder023. codeeval144.