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