rename SolverResult -> Result, no global import (access through solver.Result)