16.64/16.76	unsat
