@Test(expected=IllegalArgumentException.class)
public void testIgnoredVariable1() {

	// five entries, but variable ignored
	int orderSize = 5;
	int orderIndex = -1;
	SATCreatorDecoder testObject = getObject();
	testObject.getLowerOrderBound(orderSize, orderIndex);
}