pr konfant , smt