TSTP Solution File: TOP026+4 by SInE---0.4