other stuff to do
  auto-solve only solves from beginning
