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