use solver