TSTP Solution File: CAT010-10 by Mace4---1109a