16.67/16.86	unsat
