03-SAT-credit-Sebastien Roy