SimPlan at the LogiMAT 2022