TSTP Solution File: MSC007-1.008 by SInE---0.4