walksat solver implemented for CSE573 homework 2