Use ordinary array for SAT variables.