solved atcoder/abc005/a-d