findFeasible() ...done