first version of tabu search algorithm used for solving SAT problem