ForAll[v5, Exists[v4, ForAll[v3, Exists[v2, ForAll[v1, Exists[v0, Or[((1*v1)+(8*v2)+(5*v1)+(-8*v1)+(1*v4)+(5*v5))<=10, And[And[Or[And[((-2*v5)+(8*v1)+(2*v5)+(-7*v3)+(-10*v5)+(6*v1))<=4, ((7*v4)+(8*v3)+(5*v4)+(9*v2)+(-3*v0)+(7*v5))<=-1], Or[((-6*v5)+(-2*v1)+(-5*v5)+(1*v5)+(3*v3)+(-5*v3))<=6, ((4*v2)+(-1*v5)+(-6*v3)+(7*v5)+(-5*v2)+(6*v4))<=-3]], Or[Or[((-4*v1)+(-4*v1)+(6*v2)+(9*v5)+(0*v2)+(-5*v1))<=1, ((4*v4)+(-9*v5)+(-1*v1)+(2*v3)+(-7*v0)+(-6*v2))<=10], And[((10*v3)+(-10*v3)+(-1*v5)+(9*v1)+(-4*v2)+(6*v3))<=1, ((-4*v1)+(7*v4)+(-7*v4)+(-3*v2)+(9*v1)+(-7*v2))<=-6]]], ((10*v5)+(-5*v5)+(-7*v1)+(10*v2)+(-1*v1)+(2*v5))<=-6]]]]]]]]
