-1*v1  + 5 >= 0
-1*v1 +2*v2 -1*v3 +2*t  >= 0
-1*x2 +5*t  + 75 >= 0
-1*v2  + 6 >= 0
1*v3  >= 0
1*v2  + 6 >= 0
1*x2 +5*t -75 >= 0
1*v1 -2*v2 +1*v3 +2*t  >= 0
1*v1 -1*v3  >= 0