18.16/18.70	unsat
