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