4^x + x = 11