18.73/18.86	unsat
