Sharp-SAT loading ...