adding functionality for non-sat-solver to take in 1 line of 81 characters as input