0247.unisat