iterate-solve