We give an affirmative answer to Question 12.39 in the Kourovka Notebook. Namely, it is proved that a finite simple group and a finite group having equal orders and same sets of element orders are isomorphic.The spectrum of a group G is the set ω(G) of its element orders. The spectrum of a finite group G together with its order retains a substantial part of information on the structure of G but, as demonstrated by the example of the dihedral group D 8 of order 8 and the quaternion group Q 8 , does not necessarily determine G uniquely. In [1], W. Shi conjectured that the desired uniqueness would be achieved for finite simple groups. In [2, Question 12.39], A. S. Kondratiev worded this conjecture as follows:Is it true that a finite group and a finite simple group are isomorphic if they have equal orders and same sets of element orders?Later, for brevity, it was suggested to refer to a finite group G that is isomorphic to every finite group H with ω(H) = ω(G) and |H| = |G| as recognizable by spectrum and order. In this terminology, Shi's question reads as follows:Is it true that all finite simple groups are recognizable by spectrum and order?The answer to this question is obviously 'yes' for Abelian simple groups. In a series of papers [1,[3][4][5][6][7][8], an affirmative answer was given for all non-Abelian simple groups except the symplectic groups, orthogonal groups of odd dimension, and orthogonal groups of type D n with n even. In the present paper, we argue for the recognizability by spectrum and order for these remaining groups. Thus, Shi's conjecture is confirmed and the following theorem holds true.