use Tarjans priority in solver;