PSIDS implemented on top of Kissat submitted to the main track