Initializing iSAT...