The solution is to switch to 1sat=1sat
The solution to many things.
reply