information about WalkSAT field