SAT of Rommer