Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability.