some solvers are added for practice