TSTP Solution File: KRS286-1 by SRASS---0.1