PossNP in Dut