TSTP Solution File: MSC006-1 by Nitpick---2016