amb_space 2
constraints 3 symbolic
x[2] >= -1/2;
x[2] <=  3/2;
x[2] <=  x[1] + 3/2;
grading
unit_vector 1
LongLong