Corrected path to maxsat test files in unit tests