solve 4^x = 64