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