TSTP Solution File: MGT036+3 by Nitpick---2016