19.73/19.89	unsat
