16.27/20.76	unsat
