ToySolver.Cooper.FOL