$PIPPIN が$1になるまでどれくらいかかりますか