* time of finding first SAT