Fixed-parameter tractability of satisfying beyond the number of variables