In new version 3.14 encoding of the current problem via SAT was modified.

? ????? ?????? 3.14 ?????????????? ??????????? ??????? ?????? ? ???? SAT ??????.

More...