18.73/20.62	unsat
