solved atcoder/abc004/a-d