TSTP Solution File: MSC010+1 by DCTP---1.31