use no-solution times