19.73/19.87	unsat
