documentation: RRT is SAT