welzl's algorithm almost finished