Uncomment 1 test

test/za/ac/sun/cs/green/service/canonizer/SATCanonizerTest.java

@@ -293,7 +293,6 @@ public void test19() {
 		Operation o1 = new Operation(Operation.Operator.LE, c1, c1);
 		check(o1, "2<=2", "0==0");
 	}
-/*
 	@Test
 	public void test20() {
 		IntConstant c1 = new IntConstant(2);
@@ -303,5 +302,5 @@ public void test20() {
 		Operation o3 = new Operation(Operation.Operator.AND, o1, o2);
 		check(o3, "(2<=2)&&(aa<2)", "1*v+-1<0");
 	}
-*/
+
 }