Skyline SAT