Satisfy I felt like learning about SAT, so I made this. So far just naive backtracking. CDCL oneday maybe. Run cargo run --release aim-50-1_6-yes1-4.cnf