0686.unisat