Statistiken von NoSAT