Problems solved successfully since July 13th, 2013. The text files are test cases for the problem.