solved atcoder/abc002/a-d