Learning Interpretable Heuristics for WalkSAT