About Inverse 3-SAT - Xavier Labouze (CoRR, 2013)