Solving SAT instance via moving down on search tree