Comment by QuadmasterXLII

I guess z3 is fine with it, but it confuses me that they decided pips wouldn't have unique solutions