exactly_3_SAT