in sat_count/2, use Aux variables directly instead of their attributes