18.73/20.57	unsat
