2^x == -2x + 11