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