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