BFL's ASIC can match that if they want. At 40Ghash their ASIC was running at 500Mhz, and they said it can do 1Ghz but not all chips will reach it. So 72GHash is possible.