sat problem with solution