17.73/17.86	unsat
