16.74/17.70	unsat
