TSTP Solution File: SET507-6 by Nitpick---2016