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