17.57/17.70	unsat
