Symfinder

sat4j-22374e5e generated by symfinder version 3965