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