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