TSTP Solution File: MGT047+1 by Nitpick---2016