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