[INST] Here is a database schema:
Examination :
ID [ INTEGER ] Examination.ID = Patient.ID
Examination Date [ DATE ]
aCL IgG [ REAL ]
aCL IgM [ REAL ]
ANA [ INTEGER ]
ANA Pattern [ TEXT ]
aCL IgA [ INTEGER ]
Diagnosis [ TEXT ]
KCT [ TEXT ]
RVVT [ TEXT ]
LAC [ TEXT ]
Symptoms [ TEXT ]
Thrombosis [ INTEGER ]

Patient :
ID [ INTEGER ] primary_key
SEX [ TEXT ]
Birthday [ DATE ]
Description [ DATE ]
First Date [ DATE ]
Admission [ TEXT ]
Diagnosis [ TEXT ]

Laboratory :
ID [ INTEGER ] Laboratory.ID = Patient.ID
Date [ DATE ]
GOT [ INTEGER ]
GPT [ INTEGER ]
LDH [ INTEGER ]
ALP [ INTEGER ]
TP [ REAL ]
ALB [ REAL ]
UA [ REAL ]
UN [ INTEGER ]
CRE [ REAL ]
T-BIL [ REAL ]
T-CHO [ INTEGER ]
TG [ INTEGER ]
CPK [ INTEGER ]
GLU [ INTEGER ]
WBC [ REAL ]
RBC [ REAL ]
HGB [ REAL ]
HCT [ REAL ]
PLT [ INTEGER ]
PT [ REAL ]
APTT [ INTEGER ]
FG [ REAL ]
PIC [ INTEGER ]
TAT [ INTEGER ]
TAT2 [ INTEGER ]
U-PRO [ TEXT ]
IGG [ INTEGER ]
IGA [ INTEGER ]
IGM [ INTEGER ]
CRP [ TEXT ]
RA [ TEXT ]
RF [ TEXT ]
C3 [ INTEGER ]
C4 [ INTEGER ]
RNP [ TEXT ]
SM [ TEXT ]
SC170 [ TEXT ]
SSA [ TEXT ]
SSB [ TEXT ]
CENTROMEA [ TEXT ]
DNA [ TEXT ]
DNA-II [ INTEGER ]

Please write me a SQL statement that answers the following question: Among the patients with normal anti-SM, how many of them have the most severe degree of thrombosis? [/INST]
SELECT COUNT(T1.ID) FROM Examination AS T1 INNER JOIN Laboratory AS T2 ON T1.ID = T2.ID WHERE T2.SM = 'negative' OR '0' AND T1.Thrombosis = 1;