30.58/30.76	unsat
