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