TSTP Solution File: REL016+2 by Nitpick---2016