29.20/30.76	unsat
