17.73/19.66	unsat
