Click on the truth value assignment to the propositions, toggling them T F, to make the all the formulas simultaneously satisfied (ie true). The default assigns them values randomly. There need not be a unique answer. (Aim: 100% right, 45 seconds each. The clock stops while corrections are displayed.)