Added "existing solutions" part and paragraph about ILP finding ILP solution