Update ThreeSatExhaustiveSmp.java

Just fixing some comments, no biggie !!