TSTP Solution File: MSC007-1.008 by Mace4---1109a