TL;DR: Express s^n in terms of s^4, s^3, s^2, s. LLL for the rescue.

Original writeup (https://mystiz.hk/posts/2022/2022-02-08-dicectf-commitment/).