to use solve -> to solve