Comment out bad stencil.
Fix the 'satisfy' command.
Make the frequency cost calculations a bit smarter.
Convert stencils to simplified chinese.