solver.cpp added