gjk verified for N in [2,5]