manual insert of formula; if formula is satisfiable print assignment
test if assignment is valid