Find a bug when runing solve all