call the real solver
call the actual solver