Experimental Evaluation of Automatic Hint Generation for a Logic Tutor | Synapse