SOLVERS: snap