I1 unbounded; node 2, 3