TSTP Solution File: MGT005+2 by Nitpick---2016