TSTP Solution File: REL003+1 by Nitpick---2016