all except solve
solver finally solves