solvingsat