Multiple SAT attempts

Thanks