發送短信 : Making AC-3 an optimal algorithm

 __   _    _    _     _  __     ___      ______  
| || | || | || | ||  | |/ //   / _ \\   /_   _// 
| '--' || | || | ||  | ' //   / //\ \\  `-| |,-  
| .--. || | \\_/ ||  | . \\  |  ___  ||   | ||   
|_|| |_||  \____//   |_|\_\\ |_||  |_||   |_||   
`-`  `-`    `---`    `-` --` `-`   `-`    `-`'