K1146 : a b c^2 x^2 y+b c^3 x^2 y-a b c^2 x y^2-a c^3 x y^2-a b^2 c x^2 z-b^3 c x^2 z+a^3 c y^2 z+a^2 b c y^2 z+a b^3 x z^2+a b^2 c x z^2-a^3 b y z^2-a^2 b c y z^2=0