2^x = x^12