SAT_algorithms- - Cohen, Hadar (2022)