cin2wonm.unisat