NOW 3SAT ist working ;-) Need to invoke download.