19/11 1.13pm Fix

Fix for CNFSatInstance
Merge remote-tracking branch 'origin/master'

Conflicts:
	Papasomething algo/CNFparser.java
	Papasomething algo/CNFsolver.java
	Papasomething algo/CnfSatInstance.java