# PRSTEN-SAT