16.42/16.70	unsat
