more debug
switch to sat4j