This updates values of already failing counterexamples which were changed by the fix for z3/encoding_twin in 4b79dcf1.
