try_field_capacity
field_capacity
balanced unsat