0031233: Reading SAT files produces invalid shapes