16.73/18.44	unsat
