16.84/17.70	unsat
