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