user: Question: How many different numbers of Tot enlisted are there on the dates when the number of Enlisted o/s was 801471?
Columns: ['Date', 'Total USAAF', 'Tot Officers', 'Tot Enlisted', '# overseas', 'Officers o/s', 'Enlisted o/s']
Types: ['text', 'real', 'real', 'real', 'real', 'real', 'real']
Sample row: ['31 July 1939', 24724.0, 2636.0, 22088.0, 3991.0, 272.0, 3719.0]
SQL:

assistant: SELECT COUNT("Tot Enlisted") FROM "Table" WHERE "Enlisted o/s" = 801471.0;