dilemma.sat