probSAT for NI-KOP gSAT project