solve -> evaluate