1 0 O ct 2 01 1 Some exact calculations for KSAT on trees