n >= 0
 & b >= acc + n
 & a > 0
 & ucs > 0
 & acc > ucs
 & b >= 3*acc
 OR
   b >= acc
 & n > acc + ucs
 & ucs > 0
 & acc > ucs
 & a > b + acc
 & 2*acc >= b
 OR
   b >= 0
 & n >= 0
 & a > 0
 & acc > b
 & ucs > 0
 & acc > ucs
 OR
   ucs > 0
 & a > 0
 & b + 2*acc > ucs
 & n > 4*acc
 & acc > 0
 & n > b + 2*acc
 & b > acc
 & b + acc >= a
 OR
   ucs > 0
 & 2*acc >= b
 & n > 3*acc
 & a > 0
 & b > acc
 & 3*acc > ucs
 & b + acc >= a
 & 4*acc >= n
 OR
   n >= 0
 & a > 0
 & ucs > 0
 & b > ucs
 & 2*b >= a
 & b = acc
 OR
   a > 0
 & n > 2*acc
 & 3*acc > b
 & b > 2*acc
 & 3*acc > ucs
 & acc + ucs >= n
 OR
   a > 0
 & n > b
 & b > ucs
 & b >= 3*acc
 & acc + ucs >= n
 OR
   ucs > 0
 & a > 0
 & b >= 3*acc
 & n > b
 & acc > 0
 & n > acc + ucs
 & b + 2*acc >= n
 & b + acc >= a
 OR
   ucs > 0
 & a > 0
 & 3*acc > ucs
 & acc + n > b
 & b + acc >= a
 & b >= 3*acc
 & b >= n
 OR
   3*acc >= n
 & n >= 0
 & b > acc
 & a > 0
 & ucs > 0
 & acc > ucs
 & 2*acc >= b
 & b + acc >= a
 OR
   ucs > 0
 & n > acc + ucs
 & 3*acc > ucs
 & a > b + acc
 & b > 2*acc
 & 3*acc > b
 OR
   b >= acc
 & 3*acc > b
 & n >= 0
 & a > b + acc
 & acc > ucs
 & ucs > 0
 & acc + ucs >= n
 OR
   3*n > 2*b
 & ucs > 0
 & 3*n > b + 3*ucs
 & b > ucs
 & 3*a > 4*b
 & b > 0
 & b = 3*acc
 OR
   a > 0
 & b + 2*acc >= n
 & ucs > 0
 & n > 2*acc
 & b > 2*acc
 & n > acc + ucs
 & 3*acc > b
 & b + acc >= a
 OR
   a > 0
 & n >= 0
 & 2*acc >= n
 & ucs > 0
 & acc > ucs
 & 3*acc > b
 & b > 2*acc
 & b + acc >= a
 OR
   n > acc + ucs
 & ucs > 0
 & n > b
 & b > 3*acc
 & b > ucs
 & a > b + acc
 & acc > 0
 OR
   ucs > 0
 & b >= n
 & acc + n > b
 & a > b + acc
 & b > 3*acc
 & 3*acc > ucs
 OR
   3*a > 4*b
 & b >= n
 & b > ucs
 & b + 3*ucs >= 3*n
 & 3*n > 2*b
 & b = 3*acc