how to use solver