TSTP Solution File: MSC015-1.027 by leanCoP---2.2