Fix unit test (compile error) for new SatSolver interface