>>398
Z3使えてるぞ馬鹿