17.59/17.70	unsat
