modified and added new solver script
added walksat_v51 solver