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