17.37/19.70	unsat
