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

? ????? ?????? 3.15 ????? ?????????????? ??????????? ??????? ?????? ? ???? SAT ??????.

More...