Toulon Nov 1942-2 unsat