Changed SAT to use pointers instead of ints

Avoids needing to use arrays, which is simpler and opens up the
possibility of giving different variables different types.