start a solver