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