TSTP Solution File: TOP028+1 by SInE---0.4