sat-problems