Walksat in the SAT04 Competition