diff --git a/tig-algorithms/lib/satisfiability/sat_separate_opt_p.tar.gz b/tig-algorithms/lib/satisfiability/sat_separate_opt_p.tar.gz
new file mode 100644
index 0000000..e9ed28e
Binary files /dev/null and b/tig-algorithms/lib/satisfiability/sat_separate_opt_p.tar.gz differ