TSTP Solution File: MSC013-10 by SInE---0.4