16.27/17.76	unsat
