19.73/19.88	unsat
