Introducing fuzzy default logic into WalkSAT algorithm