TSTP Solution File: CAT001-4 by Mace4---1109a