solved atcoder/abc003/a-d