@AfterClass
 public static void report() {
   solver.report();
 }
 @AfterClass
 public static void report() {
   if (solver != null) {
     solver.report();
   }
 }