TSTP Solution File: KLE090-10 by SInE---0.4