Descriptions:

Boolean Satisfability

Gym - 101612B