printTestDisabledMessage("regression test for 16054");
helper1(4, 17, 4, 18);
	public void test20() throws Exception{		printTestDisabledMessage("regression test for 16054");		//		helper1(4, 17, 4, 18);	}	