naive and working

constraintSolver/ISRAnd.cpp

@@ -101,9 +101,10 @@ Location ISRAnd::Seek( Location target )
 		//Get Document of the furthest ISR
 		//DocumentEnd->Seek( furthest  );
 
+
 		if(nearestTerm->GetEndDocument()->getCurrentDoc().docEndPosition == furthestTerm->GetEndDocument()->getCurrentDoc().docEndPosition )
 			{
-			cout << "MATCHING " << endl;
+			cout << "Found Match " << endl;
 			return nearestTerm->GetEndDocument()->getCurrentDoc().docEndPosition;
 			}
 
@@ -120,7 +121,8 @@ Location ISRAnd::Seek( Location target )
 		else
 			{
 			//No Match yet, keep searching
-			target = lastDocStart;
+			//docs before the fursther? may be hit
+			target = furthest-1;
 			}
 
 		}

constraintSolver/tests/ISRAndTests.cpp

@@ -43,7 +43,7 @@ int main ( )
 	/*
 	 *
 	 * moment and life
-	 *file3tweet151407709667856384
+	 	file3tweet151407709667856384
 		file5tweet151408405939093504
 		file9tweet151409353818255361
 	 *