Replace hardcoded infinity value

[0x2b3bfa0]

1000 != ∞ 😄

[ariebovenberg]

I suspect that replacing 1000 with inf would give some negative effects, since the algorithm relies on selecting the fewest total demerits, even if it contains "infinite" penalties.

i.e. INF + 3 would have to be larger than INF + 1