sat count with varset - considers only valid cells which is better