Steiner Triples and Sat Solvers