To determine the exact margin of error we could allow ourselves, this solve went as far as 15k instructions and 50-ish padding cycles.
Good thing it was trimmed down.