16.67/16.97	unsat
