TSTP Solution File: MSC008-2.002 by SInE---0.4