3sat parser rewritten. Old not deleted so far.
new 3sat parser cleaned a bit.