printing only original variables fix.

src/application.c

@@ -914,7 +914,7 @@ run_application (kissat * solver,
     PRINT_SOLUTION_TO_PROOF(application.max_var);
 	  if (application.witness)
 	    kissat_print_witness (solver,
-				  application.max_var, application.partial);
+				 solver->original_vars, application.partial);
 	}
     }
 #ifndef QUIET