The Complexity of Inversion of Explicit Goldreich's Function by DPLL Algorithms