minor changes
PCP, #3SAT überarbeitet, GNI