2的2013次方-3×2的2012次方