Change default value of --maxsat-tag.