// Formula is satisfiable void success(Formula f) { System.out.println("Formula is satisfiable"); // Print satisfying assignment formula.printAssignment(); }