Faits: Faits: A. En 1998, la société A._, dont l'administrateur avec signature individuelle était B._, a conclu auprès de Z._ une police d'assurance de prévoyance, où était stipulé le paiement d'un montant de 550'000 fr. en cas de décès de B._. En octobre 1998, la preneuse a remis cette police en gage à la Banque C._, en garantie d'un prêt que cet établissement lui avait accordé. L'assureur a fait savoir à la banque qu'il avait pour pratique d'aviser le créancier gagiste s'il envisageait d'annuler pour non-paiement des primes une police remise en nantissement, mais qu'il n'assumait aucune obligation en ce sens et déclinait toute responsabilité si cet avis faisait défaut. A._ n'a pas acquitté la prime échue au 1er janvier 2000. Par lettre recommandée, datée du 15 février 2000, postée le 16 février 2000 et distribuée le 17 février 2000, Z._ lui a adressé une sommation. Le 21 février 2000, B._ a, au nom de la preneuse, demandé par écrit à l'assureur de suspendre provisoirement le contrat, mais il a retiré cette demande au cours d'un entretien téléphonique du 29 février 2000. Le 6 avril 2000, Z._ a informé la Banque C._ que la police de prévoyance avait été annulée avec effet immédiat, pour non-paiement de primes. La banque a alors avisé l'assureur, par lettre du 14 avril 2000, qu'elle était subrogée dans ses droits de créancière gagiste par X._, qui avait repris à son compte le crédit accordé à A._. Le 11 mai 2000, Z._ a confirmé à A._ que le contrat avait été annulé pour cause de non-paiement de la prime et qu'il ne pourrait être remis en vigueur que moyennant paiement de 1'080 fr. 60 correspondant aux primes échues le 1er janvier 2000 (537 fr. 30; recte 537 fr. 80), le 1er avril 2000 (537 fr. 30; recte 537 fr. 80) et aux frais de sommation (5 fr.). Le 26 mai 2000, B._ est décédé accidentellement, sans que A._ eût versé les montants indiqués dans la lettre de l'assureur du 11 mai 2000. Le 26 mai 2000, B._ est décédé accidentellement, sans que A._ eût versé les montants indiqués dans la lettre de l'assureur du 11 mai 2000. B. Le 16 janvier 2001, A._ a été mise en faillite. Par acte du 3 avril 2002, la masse a cédé aux créanciers X._ et Y._, conformément à l'art. 260 LP, les prétentions découlant de la police de prévoyance contre Z._. B. Le 16 janvier 2001, A._ a été mise en faillite. Par acte du 3 avril 2002, la masse a cédé aux créanciers X._ et Y._, conformément à l'art. 260 LP, les prétentions découlant de la police de prévoyance contre Z._. C. Par acte du 25 septembre 2002, X._ et Y._ ont assigné Z._ en paiement de 550'000 fr. avec intérêts à 5% l'an dès le 23 juillet 2002. Ils faisaient valoir que la défenderesse n'avait pas sommé la preneuse, subsidiairement qu'elle ne l'avait pas valablement sommée, dès lors qu'elle n'était pas en mesure de justifier du contenu de son envoi du 16 février 2000. La défenderesse a conclu à libération, pour le motif qu'au moment du décès de B._, la police de prévoyance avait été annulée. Expliquant qu'elle ne conservait pas de copie des sommations, elle a produit un exemplaire, non individualisé, de la lettre-type qu'elle envoie à ses clients en cas de retard dans le paiement des primes, ainsi qu'une liste interne de ses envois recommandés du 15 février 2000, où le nom de A._ apparaissait sous la rubrique "Mahnungen vom 15.02.2000", soit, en traduction, "sommations du 15 février 2000". Par jugement du 23 septembre 2004, le Tribunal de première instance du canton de Genève a condamné la défenderesse à verser aux demandeurs, créanciers solidaires, la somme de 550'000 fr. avec intérêts à 5% l'an dès le 23 juillet 2002. Considérant qu'ils pouvaient présumer que l'envoi recommandé du 16 février 2000 contenait une lettre de sommation, mais non que le contenu de celle-ci fût tel que l'alléguait la défenderesse, les premiers juges ont retenu qu'il ne leur était pas possible, en l'absence de copie, de certifier que la sommation reçue par la preneuse avait bien été conforme aux exigences légales, en particulier que le montant réclamé avait bien correspondu à ce qui était dû à l'assureur. Ils en ont conclu qu'il n'était pas établi que la sommation du 15 février 2000 remplissait toutes les conditions requises pour que la police de prévoyance fût suspendue au jour du sinistre, si bien que l'action devait être admise. Statuant sur appel de la défenderesse le 18 février 2005, la Cour de justice du canton de Genève a annulé ce jugement et débouté les demandeurs. Elle a considéré qu'en présence d'un système informatisé d'envoi des sommations, comme celui de la défenderesse, il y avait lieu d'admettre que le texte de la sommation individuelle adressée à la preneuse était conforme à celui de la lettre-type; d'ailleurs, les demandeurs, qui avaient eu accès au dossier de la faillite, n'avaient pas tenté de réfuter cette conformité en faisant valoir des indices concrets de nature à éveiller un doute sur le contenu de la sommation reçue par la preneuse. Certes, la lettre-type produite ne permettait pas de vérifier l'exactitude du montant réclamé à titre de prime arriérée. Mais le montant réclamé à l'assuré était le seul espace à remplir dans le corps de la lettre-type pour l'individualiser. Dans ces conditions, jugeant que la probabilité qu'un tel espace soit dûment complété se révélait généralement fondée, la cour cantonale a considéré qu'elle devait admettre que le montant adéquat figurait sur la sommation adressée en l'espèce à la preneuse, puisque rien au dossier ne contredisait cette affirmation, ni ne soulevait de doute pouvant la remettre en cause. L'action devait dès lors être rejetée. Statuant sur appel de la défenderesse le 18 février 2005, la Cour de justice du canton de Genève a annulé ce jugement et débouté les demandeurs. Elle a considéré qu'en présence d'un système informatisé d'envoi des sommations, comme celui de la défenderesse, il y avait lieu d'admettre que le texte de la sommation individuelle adressée à la preneuse était conforme à celui de la lettre-type; d'ailleurs, les demandeurs, qui avaient eu accès au dossier de la faillite, n'avaient pas tenté de réfuter cette conformité en faisant valoir des indices concrets de nature à éveiller un doute sur le contenu de la sommation reçue par la preneuse. Certes, la lettre-type produite ne permettait pas de vérifier l'exactitude du montant réclamé à titre de prime arriérée. Mais le montant réclamé à l'assuré était le seul espace à remplir dans le corps de la lettre-type pour l'individualiser. Dans ces conditions, jugeant que la probabilité qu'un tel espace soit dûment complété se révélait généralement fondée, la cour cantonale a considéré qu'elle devait admettre que le montant adéquat figurait sur la sommation adressée en l'espèce à la preneuse, puisque rien au dossier ne contredisait cette affirmation, ni ne soulevait de doute pouvant la remettre en cause. L'action devait dès lors être rejetée. D. Contre cet arrêt, les demandeurs interjettent un recours en réforme au Tribunal fédéral. Se plaignant d'une violation des art. 20 LCA et 8 CC, ils concluent, avec suite de frais et dépens de toutes les instances cantonales et fédérale, à l'annulation de l'arrêt attaqué et à la condamnation de la défenderesse à leur payer, conjointement et solidairement, la somme de 550'000 fr. avec intérêts à 5% l'an dès le 23 juillet 2002. Parallèlement, ils interjettent un recours de droit public, qui fait l'objet d'une procédure distincte (5P.106/2005). La défenderesse conclut, avec suite de frais et dépens, au rejet du recours en réforme. 