cubic.unisat