add 3SAT solver link