21   Sat *sat = SatFactory();  in main()  local
22   if (sat == NULL) {  in main()
27   if (!sat->ParseArgs(argc, argv)) {  in main()
29     sat->bad_status();  in main()
30   } else if (!sat->Initialize()) {  in main()
32     sat->bad_status();  in main()
33   } else if (!sat->Run()) {  in main()
35     sat->bad_status();  in main()
37   sat->PrintResults();  in main()
38   if (!sat->Cleanup()) {  in main()
40     sat->bad_status();  in main()
44   if (sat->status() != 0) {  in main()
48   } else if (sat->errors() != 0) {  in main()
54   delete sat;  in main()