Changed SATisfaction to SATMatch