sat problem restrictions 5291257