+ solver estimations