name XYZZ coordinates with a4=-3
assume a = -3
variable X
variable Y
variable ZZ
variable ZZZ
satisfying x = X/ZZ
satisfying y = Y/ZZZ
satisfying ZZ^3 = ZZZ^2