bennequins conjecture