3992.unisat