3-sat first algorithm done