updated main method to use Solvers