WalkSAT with formatted output