16.68/16.76	unsat
