Satisfaction Classes and Combinatorial Sentences Independent From PA