let amc12b-2004-p3 = `!x:num y:num. 2 EXP x * 3 EXP y = 1296 ==> x + y = 8`;;