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