RUN: $(golomb_sat) --size 5