error handleling
S-expr: convert sat into a list, then print it out