Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT