TSTP Solution File: MSC002-1 by SInE---0.4