Worked a little on WalkSAT

-Problem is in the getBestSol(). Fix that