16.67/16.76	unsat
