changed to UNIX style newline
using tmp file for generating dimacs file
SBP added. Not working properly yet