better encoidng with enc_maxsat