17.66/17.70	unsat
