atcoder020A shorter