3SAT has now title as part of outfile-name.