OG0aa, this version confirms optimal steady state using binary search