TSTP Solution File: SWV291-1 by SInE---0.4