Describir: Using Learning Automata to Enhance Local-Search Based SAT Solvers with Learning Capability