TSTP Solution File: SET062-7 by Nitpick---2016