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